Теория формальных языков — 4